Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory |
| Keywords | Recursion Theory, Coinductive Techniques, Computational Complexity |
Current contact address
| Country | Australia |
|---|---|
| City | Canberra |
| Institution | Australian National University |
| Institute | School of Computing |
| Homepage | https://users.cecs.anu.edu.au/~dpattinson/ |
Host during sponsorship
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Prof. Dr. Dieter Spreen | Fachbereich 6 - Mathematik, Universität Siegen, Siegen |
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), Muenchen |
| Start of initial sponsorship | 01/07/2014 |
Programme(s)
| 2013 | Humboldt Research Fellowship Programme for Experienced Researchers |
|---|